34 Chapter[removed]The Anatomy of A.L.I.C.E. 35

Source URL: www.alicebot.org

• Computing
• Philosophy of artificial intelligence
• Markup languages
• Alan Turing
• AIML
• Artificial Linguistic Internet Computer Entity
• Human–computer interaction
• Turing test
• Loebner Prize
• Artificial intelligence
• Science
• Chatterbots

On Development of Systems for Number Theoretic Calculation and Related Problems MATSUI Tetsushi 2

Source URL: tnt.math.se.tmu.ac.jp

• Applied mathematics
• Theory of computation
• Models of computation
• Alan Turing
• Computable number
• Computable function
• Turing machine
• Algorithm
• Polynomial
• Theoretical computer science
• Mathematics
• Computability theory

HIGH TECH - THE NEW GOLD RUSH J.A.Makowsky Department of Computer Science Technion, Haifa, Israel (Full version of an article which has appeared in abridged form in the

Source URL: www.cs.technion.ac.il

• Alan Turing
• Science
• Computer science
• Research and development
• Philosophy of artificial intelligence
• Turing test
• Computing Machinery and Intelligence
• British people
• Artificial intelligence
• English people

Chapter 2 1 Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turing1

Source URL: www.bu.edu

• Computer science
• Computable number
• Halting problem
• Computable function
• Description number
• Turing machine
• Alan Turing
• Computability
• Entscheidungsproblem
• Computability theory
• Theoretical computer science
• Theory of computation

Dale Miller Curriculum Vitae INRIA Saclay - ˆIle-de-France & Laboratoire d’Informatique, LIX 1 rue Honor´e d’Estienne d’Orves LIX, Bˆatiment Alan Turing ´

Source URL: www.lix.polytechnique.fr

• Logic in computer science
• Automated theorem proving
• Dependently typed programming
• Type theory
• Formal sciences
• Federated Logic Conference
• Logic programming
• Workshop on Logic
• Language
• Information and Computation
• Theorem Proving in Higher-Order Logics
• Theoretical computer science
• Computer science
• Mathematics

By Luis von Ahn, Manuel Blum, and John Langford TELLING HUMANS AND COMPUTERS

Source URL: www.captcha.net

• Computing
• CAPTCHA
• Human-based computation
• Philosophy of artificial intelligence
• Spamming
• Reverse Turing test
• Luis von Ahn
• Turing test
• Computing Machinery and Intelligence
• Artificial intelligence
• Science
• Alan Turing

Bernd Neugebauer Referat zu Alan Turing: „Kann eine Maschine denken?“ PDF-Version 1.0

Source URL: www.beneu.de

Turing Degrees and Definability of the Jump C Theodore A. Slaman University of California, Berkeley

Source URL: math.berkeley.edu

• English people
• Theory of computation
• Turing degree
• Alan Turing
• Degree of a continuous mapping
• Computability theory
• British people
• Mathematics

Computation Beyond Turing Machines Peter Wegner, Brown University Dina Goldin, U. of Connecticut 1. Turing’s legacy

Source URL: www.cse.uconn.edu

• Computability theory
• Mathematics
• Alan Turing
• Turing machine
• Church–Turing thesis
• Computability
• Halting problem
• Algorithm
• Super-recursive algorithm
• Computer science
• Theory of computation
• Theoretical computer science

Semantics and Syntax A Legacy of Alan Turing Scientific Report Arnold Beckmann (Swansea) S. Barry Cooper (Leeds) Benedikt L¨owe (Amsterdam) Elvira Mayordomo (Zaragoza)

Source URL: www.newton.ac.uk

• Theoretical computer science
• Probabilistic complexity theory
• Formal sciences
• Computational complexity theory
• Mathematical logic
• Computability theory
• Algorithm
• Alan Turing
• Randomized algorithm
• Mathematics
• Science
• Applied mathematics